SModelS v1.1 user manual: Improving simplified model constraints with efficiency maps
نویسندگان
چکیده
منابع مشابه
Efficiency and fairness of system-optimal routing with user constraints
We study the route-guidance system proposed by Jahn, Möhring, Schulz, and Stier-Moses [Operations Research 53 (2005), 600–616] from a theoretical perspective. As system-optimal guidance is known to be problematic, this approach computes a traffic pattern that minimizes the total travel time subject to user constraints. These constraints are designed to ensure that routes suggested to users are ...
متن کاملController synthesis with very simplified linear constraints in PN model
This paper addresses the problem of forbidden states for safe Petri net modeling discrete event systems. We present an efficient method to construct a controller. A set of linear constraints allow forbidding the reachability of specific states. The number of these so-called forbidden states and consequently the number of constraints are large and lead to a large number of control places. A syst...
متن کاملEvaluating and improving the usability of a user manual
This research deals with user-testing as a means to improve the usability of a user manual. In Study 1 we analysed the effects of three different methods for user-testing a commercial user manual to a patient administrative system . Thirty nurses read the manual and noted difficulties found by either (1) making underlinings, (2) writing questions, or (3) verbalizing their comments aloud. Underl...
متن کاملANSI-C Bounded Model Checker User Manual
We describe a tool that formally verifies ANSI-C programs. The tool implements a technique called Bounded Model Checking (BMC). In BMC, the transition relation for a complex state machine and its specification are jointly unwound to obtain a Boolean formula, which is then checked for satisfiability by using a SAT procedure. The tool supports all ANSI-C integer operators and all pointer construc...
متن کاملAdaptive Simplified Model Predictive Control with Tuning Considerations
Model predictive controller is widely used in industrial plants. Uncertainty is one of the critical issues in real systems. In this paper, the direct adaptive Simplified Model Predictive Control (SMPC) is proposed for unknown or time varying plants with uncertainties. By estimating the plant step response in each sample, the controller is designed and the controller coefficients are directly ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Physics Communications
سال: 2018
ISSN: 0010-4655
DOI: 10.1016/j.cpc.2018.02.007